Hidden protocols: Modifying our expectations in an evolving world
Identifieur interne : 000E42 ( Main/Exploration ); précédent : 000E41; suivant : 000E43Hidden protocols: Modifying our expectations in an evolving world
Auteurs : Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; YANJING WANG [République populaire de Chine]Source :
- Artificial intelligence : (General ed.) [ 0004-3702 ] ; 2014.
Descripteurs français
- Pascal (Inist)
- Wicri :
- topic : Réseau local.
English descriptors
- KwdEn :
Abstract
When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for reasoning about knowledge via matching agents' expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given.
Affiliations:
- France, Inde, Pays-Bas, République populaire de Chine
- Grand Est, Groningue (province), Lorraine (région), Pékin
- Groningue (ville), Metz, Nancy, Pékin
- Université de Groningue, Université de Lorraine, Université de Pékin
Links toward previous steps (curation, corpus...)
- to stream PascalFrancis, to step Corpus: 000025
- to stream PascalFrancis, to step Curation: 000979
- to stream PascalFrancis, to step Checkpoint: 000017
- to stream Main, to step Merge: 000E34
- to stream Main, to step Curation: 000E42
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">Hidden protocols: Modifying our expectations in an evolving world</title><author><name sortKey="Van Ditmarsch, Hans" sort="Van Ditmarsch, Hans" uniqKey="Van Ditmarsch H" first="Hans" last="Van Ditmarsch">Hans Van Ditmarsch</name><affiliation wicri:level="4"><inist:fA14 i1="01"><s1>LORIA, CNRS - Université de Lorraine</s1><s3>FRA</s3><sZ>1 aut.</sZ></inist:fA14><country>France</country><wicri:noRegion>CNRS - Université de Lorraine</wicri:noRegion><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Ghosh, Sujata" sort="Ghosh, Sujata" uniqKey="Ghosh S" first="Sujata" last="Ghosh">Sujata Ghosh</name><affiliation wicri:level="1"><inist:fA14 i1="02"><s1>Indian Statistical Institute</s1><s2>Chennai</s2><s3>IND</s3><sZ>2 aut.</sZ></inist:fA14><country>Inde</country><wicri:noRegion>Indian Statistical Institute</wicri:noRegion></affiliation></author><author><name sortKey="Verbrugge, Rineke" sort="Verbrugge, Rineke" uniqKey="Verbrugge R" first="Rineke" last="Verbrugge">Rineke Verbrugge</name><affiliation wicri:level="4"><inist:fA14 i1="03"><s1>Institute of Artificial Intelligence, University of Groningen</s1><s3>NLD</s3><sZ>3 aut.</sZ></inist:fA14><country>Pays-Bas</country><placeName><settlement type="city">Groningue (ville)</settlement><region>Groningue (province)</region></placeName><orgName type="university">Université de Groningue</orgName></affiliation></author><author><name sortKey="Yanjing Wang" sort="Yanjing Wang" uniqKey="Yanjing Wang" last="Yanjing Wang">YANJING WANG</name><affiliation wicri:level="4"><inist:fA14 i1="04"><s1>Department of Philosophy, Peking University</s1><s3>CHN</s3><sZ>4 aut.</sZ></inist:fA14><country>République populaire de Chine</country><placeName><settlement type="city">Pékin</settlement><region type="capitale">Pékin</region></placeName><orgName type="university">Université de Pékin</orgName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">INIST</idno><idno type="inist">14-0079528</idno><date when="2014">2014</date><idno type="stanalyst">PASCAL 14-0079528 INIST</idno><idno type="RBID">Pascal:14-0079528</idno><idno type="wicri:Area/PascalFrancis/Corpus">000025</idno><idno type="wicri:Area/PascalFrancis/Curation">000979</idno><idno type="wicri:Area/PascalFrancis/Checkpoint">000017</idno><idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000017</idno><idno type="wicri:doubleKey">0004-3702:2014:Van Ditmarsch H:hidden:protocols:modifying</idno><idno type="wicri:Area/Main/Merge">000E34</idno><idno type="wicri:Area/Main/Curation">000E42</idno><idno type="wicri:Area/Main/Exploration">000E42</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">Hidden protocols: Modifying our expectations in an evolving world</title><author><name sortKey="Van Ditmarsch, Hans" sort="Van Ditmarsch, Hans" uniqKey="Van Ditmarsch H" first="Hans" last="Van Ditmarsch">Hans Van Ditmarsch</name><affiliation wicri:level="4"><inist:fA14 i1="01"><s1>LORIA, CNRS - Université de Lorraine</s1><s3>FRA</s3><sZ>1 aut.</sZ></inist:fA14><country>France</country><wicri:noRegion>CNRS - Université de Lorraine</wicri:noRegion><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Ghosh, Sujata" sort="Ghosh, Sujata" uniqKey="Ghosh S" first="Sujata" last="Ghosh">Sujata Ghosh</name><affiliation wicri:level="1"><inist:fA14 i1="02"><s1>Indian Statistical Institute</s1><s2>Chennai</s2><s3>IND</s3><sZ>2 aut.</sZ></inist:fA14><country>Inde</country><wicri:noRegion>Indian Statistical Institute</wicri:noRegion></affiliation></author><author><name sortKey="Verbrugge, Rineke" sort="Verbrugge, Rineke" uniqKey="Verbrugge R" first="Rineke" last="Verbrugge">Rineke Verbrugge</name><affiliation wicri:level="4"><inist:fA14 i1="03"><s1>Institute of Artificial Intelligence, University of Groningen</s1><s3>NLD</s3><sZ>3 aut.</sZ></inist:fA14><country>Pays-Bas</country><placeName><settlement type="city">Groningue (ville)</settlement><region>Groningue (province)</region></placeName><orgName type="university">Université de Groningue</orgName></affiliation></author><author><name sortKey="Yanjing Wang" sort="Yanjing Wang" uniqKey="Yanjing Wang" last="Yanjing Wang">YANJING WANG</name><affiliation wicri:level="4"><inist:fA14 i1="04"><s1>Department of Philosophy, Peking University</s1><s3>CHN</s3><sZ>4 aut.</sZ></inist:fA14><country>République populaire de Chine</country><placeName><settlement type="city">Pékin</settlement><region type="capitale">Pékin</region></placeName><orgName type="university">Université de Pékin</orgName></affiliation></author></analytic><series><title level="j" type="main">Artificial intelligence : (General ed.)</title><title level="j" type="abbreviated">Artif. intell. : (Gen. ed.)</title><idno type="ISSN">0004-3702</idno><imprint><date when="2014">2014</date></imprint></series></biblStruct></sourceDesc><seriesStmt><title level="j" type="main">Artificial intelligence : (General ed.)</title><title level="j" type="abbreviated">Artif. intell. : (Gen. ed.)</title><idno type="ISSN">0004-3702</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Automaton</term><term>Dynamic logic</term><term>Epistemic logic</term><term>Epistemology</term><term>Knowledge representation</term><term>Local network</term><term>Logical programming</term><term>Modeling</term><term>Multiagent system</term><term>Propositional logic</term><term>Reasoning</term><term>Semantics</term><term>Transmission protocol</term><term>Updating</term></keywords><keywords scheme="Pascal" xml:lang="fr"><term>Système multiagent</term><term>Mise à jour</term><term>Programmation logique</term><term>Logique propositionnelle</term><term>Automate</term><term>Sémantique</term><term>Epistémologie</term><term>Logique dynamique</term><term>Raisonnement</term><term>Réseau local</term><term>Modélisation</term><term>Logique épistémique</term><term>Protocole transmission</term><term>Représentation connaissance</term><term>.</term></keywords><keywords scheme="Wicri" type="topic" xml:lang="fr"><term>Réseau local</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for reasoning about knowledge via matching agents' expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given.</div></front></TEI><affiliations><list><country><li>France</li><li>Inde</li><li>Pays-Bas</li><li>République populaire de Chine</li></country><region><li>Grand Est</li><li>Groningue (province)</li><li>Lorraine (région)</li><li>Pékin</li></region><settlement><li>Groningue (ville)</li><li>Metz</li><li>Nancy</li><li>Pékin</li></settlement><orgName><li>Université de Groningue</li><li>Université de Lorraine</li><li>Université de Pékin</li></orgName></list><tree><country name="France"><region name="Grand Est"><name sortKey="Van Ditmarsch, Hans" sort="Van Ditmarsch, Hans" uniqKey="Van Ditmarsch H" first="Hans" last="Van Ditmarsch">Hans Van Ditmarsch</name></region></country><country name="Inde"><noRegion><name sortKey="Ghosh, Sujata" sort="Ghosh, Sujata" uniqKey="Ghosh S" first="Sujata" last="Ghosh">Sujata Ghosh</name></noRegion></country><country name="Pays-Bas"><region name="Groningue (province)"><name sortKey="Verbrugge, Rineke" sort="Verbrugge, Rineke" uniqKey="Verbrugge R" first="Rineke" last="Verbrugge">Rineke Verbrugge</name></region></country><country name="République populaire de Chine"><region name="Pékin"><name sortKey="Yanjing Wang" sort="Yanjing Wang" uniqKey="Yanjing Wang" last="Yanjing Wang">YANJING WANG</name></region></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000E42 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000E42 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= Pascal:14-0079528
|texte= Hidden protocols: Modifying our expectations in an evolving world
}}
| This area was generated with Dilib version V0.6.33. |  |